#define _CRT_SECURE_NO_WARNINGS 1
#include <iostream>
#include <string>
using namespace std;

void Letter(string str)
{
    if (str == "begin")
        cout << "(beginsym,begin)" << endl;
    else if (str == "call")
        cout << "(callsym,call)" << endl;
    else if (str == "const")
        cout << "(constsym,const)" << endl;
    else if (str == "do")
        cout << "(dosym,do)" << endl;
    else if (str == "end")
        cout << "(endsym,end)" << endl;
    else if (str == "if")
        cout << "(ifsym,if)" << endl;
    else if (str == "odd")
        cout << "(oddsym,odd)" << endl;
    else if (str == "procedure")
        cout << "(proceduresym,procedure)" << endl;
    else if (str == "read")
        cout << "(readsym,read)" << endl;
    else if (str == "then")
        cout << "(thensym,then)" << endl;
    else if (str == "while")
        cout << "(whilesym,while)" << endl;
    else if (str == "var")
        cout << "(varsym,var)" << endl;
    else if (str == "write")
        cout << "(writesym,write)" << endl;
    else
        cout << "(ident," << str << ")" << endl;
}

int main()
{
    string str1, str;
    while (cin >> str1)
    {
        str = str + ' ' + str1;
    }
    int length_str = str.length();
    for (int i = 0; i < length_str; i++)
    {
        if (str[i] == ' ' || str[i] == '\n')
            continue;
        else if (isdigit(str[i]))
        {
            string digit;
            while (isdigit(str[i]))
            {
                digit += str[i];
                i++;
            }
            i--;
            cout << "(number," << digit << ")" << endl;
        }
        else if (isalpha(str[i]))
        {
            string lett;
            while (isdigit(str[i]) || isalpha(str[i]))
            {
                lett += str[i];
                i++;
            }
            i--;
            Letter(lett);
        }
        else
        {
            switch (str[i])
            {
            case '+':
                cout << "(plus,+)" << endl;
                break;
            case '-':
                cout << "(minus,-)" << endl;
                break;
            case '*':
                cout << "(times,*)" << endl;
                break;
            case '/':
                cout << "(slash,/)" << endl;
                break;
            case '=':
                cout << "(eql,=)" << endl;
                break;
            case '<':
                i++;
                if (str[i] == '>')
                {
                    cout << "(neq,<>)" << endl;
                }
                else if (str[i] == '=')
                {
                    cout << "(leq,<=)" << endl;
                }
                else
                {
                    i--;
                    cout << "(lss,<)" << endl;
                }
                break;
            case '>':
                i++;
                if (str[i] == '=')
                {
                    cout << "(geq,>=)" << endl;
                }
                else
                {
                    i--;
                    cout << "(gtr,>)" << endl;
                }
                break;
            case ':':
                i++;
                if (str[i] == '=')
                {
                    cout << "(becomes,:=)" << endl;
                }
                break;
            case '(':
                cout << "(lparen,()" << endl;
                break;
            case ')':
                cout << "(rparen,))" << endl;
                break;
            case ',':
                cout << "(comma,,)" << endl;
                break;
            case ';':
                cout << "(semicolon,;)" << endl;
                break;
            case '.':
                cout << "(period,.)" << endl;
                break;
            default:
                cout << "error" << endl;
                break;
            }
        }
    }
    cout << "Yes,it is correct." << endl;
    return 0;
}
